Calculation
نویسندگان
چکیده
منابع مشابه
Symmetry Calculation
We consider several applications of net symmetries for various Petri net classes. We show, that almost all computations of symmetry groups for different net classes and almost all decision problems which appear when applying symmetric reductions can be traced back to a single algorithm. This is a very pleasing result for a multi purpose analysis tool like INA (see for instance [Fel92]). For the...
متن کاملCalculation, Complexity And Planning: The Socialist Calculation Debate Once Again
This paper offers a reassessment of the socialist calculation debate, and examines the extent to which the conclusions of that debate must be modified in the light of the subsequent development of the theory and technology of computation. Following an introduction to the two main perspectives on the debate which have been offered to date, we examine the classic case mounted by von Mises against...
متن کاملNormalisation by Calculation
I outline a new proof of strong normalisation for system F, by direct calculation of the size of a normalisation tree. The system F itself is used as a formulism for representing these calculations, and any reasonably sensible model of the calculus can be used to verify that the correctness of the calculations. The method works for a variety of calculi, and seems reasonably general. Discussion ...
متن کاملFloating calculation in Mesopotamia
Sophisticated computation methods were developed 4000 years ago in Mesopotamia in the context of scribal schools. The basics of the computation can be detected in clay tablets written by young students educated in these scribal schools. At first glance, the mathematical exercises contained in school tablets seem to be very simple and quite familiar, and therefore, they have little attracted the...
متن کاملDirect Lighting Calculation
The details of doing a Monte Carlo direct lighting calculation are presented. For direct lighting from multiple luminaires, a method of sending one shadow ray per viewing ray is presented, and it is argued that this is preferable for scenes with many luminaires. Some issues of the design of probability densities on unions of luminaire surfaces are discussed.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Mathematical Intelligencer
سال: 2015
ISSN: 0343-6993,1866-7414
DOI: 10.1007/s00283-015-9534-0